Functorial Semantics 25

Info. Lectures of 90 minutes each. First semester of 2025. Meeting once a week. The lectures will be delivered at Humanisten from 13.00 to 15.00.

Lectures are decorated by additional material. The will open the graded homework.

Syllabus. (1) Foundational aspects of the Yoneda Embedding. (2) Lawvere theories and Universal Algebra. (3) Sketches and Accessible Categories.

Description. Functorial semantics emerged after the impulse of Bill Lawvere as a framework to organize universal algebra. Later it became one of the leitmotives of categorical logic, touching on many of its most foundational and fundamental aspects. The course is a tour of this tradition, starting precisely from Lawvere's original contribution and landing on the most sophisticated aspects of the french school of Sketches.

Exam. The exam comprises of the homework () (50%) and an oral examination (50%). Each of these parts of the exam is graded from 1 to 10. The student's final mark will be U is the weighted mean is strictly below 5, G if the weighted mean is between 5 and 7, VG if the weighted mean is strictly above 7.

Audience and Prerequisites. The course is designed for master students. A good knowledge of the language of category theory will be a prerequisite for the audience (the equivalent of the whole (!) book by Riehl in bibliography), yet we will re-discover some of its content from a more foundational perspective.